$\forall$$a$,$b$:$\mathbb{Z}$. coprime($a$; $b$) $\Rightarrow$ ($\exists$$x$,$y$:$\mathbb{Z}$. assoced((($a$ $\ast$ $x$) + ($b$ $\ast$ $y$)); 1))